The Dold–Kan correspondence and coalgebra structures
نویسندگان
چکیده
منابع مشابه
Schematic Correspondence and Idealized Structures ( 1970 )
Note that the footnotes have been changed slightly (their numbering and, in one case, the general form). This is because I have not been able to figure out how to use ’1*’, ’2*’, and ’3*’ as footnote references in TeX. (In the German there is a difference between footnotes by Bernays and footnotes by a later editor; the former have ’1’ and ’2’, the latter ’1*’, ’2*’, and ’3*’ as labels.) Note i...
متن کاملCoalgebra, Concurrency, and Control
Coalgebra is used to generalize notions and techniques from concurrency theory, in order to apply them to problems concerning the supervisory control of discrete event systems. The main ingredients of this approach are the characterization of controllability in terms of (a variant of) the notion of bisimulation, and the observation that the family of (partial) languages carries a final coalgebr...
متن کاملKleene Coalgebra – an overview
Coalgebras provide a uniform framework for the study of dynamical systems, including several types of automata. The coalgebraic view on systems has recently been proved relevant by the development of a number of expression calculi which generalize classical results by Kleene, on regular expressions, and by Kozen, on Kleene algebra. This note contains an overview of the motivation and results of...
متن کاملSome Higher Coalgebra
Using the derived algebraic formalism of Lurie we describe a framework for coalgebraic structures which are neither necessarily commutative nor cocommutative. We show that Thom spectra and homotopical descent data are both natural examples of this kind of structure.
متن کاملLocally coalgebra-Galois extensions
The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension, generalising concepts from [9]. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Homotopy and Related Structures
سال: 2014
ISSN: 2193-8407,1512-2891
DOI: 10.1007/s40062-014-0096-1